Revision: tla-tools--devo--0--patch-18
Archive: miles@gnu.org--gnu-2005
Creator: Miles Bader <miles@gnu.org>
Date: Fri Mar 25 03:14:14 JST 2005
Standard-date: 2005-03-24 18:14:14 GMT
Modified-files: ChangeLog tla-abbrev-merge-log.shpp
New-patches: miles@gnu.org--gnu-2005/tla-tools--devo--0--patch-18
Summary: tla-abbrev-merge-log: Use "base" instead of "base 0"

